Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux. (Contributions to relaxed algorithms and polynomial system solving)
نویسنده
چکیده
منابع مشابه
Chapitre 1 DE L ’ ALGÈBRE LINÉAIRE À LA RÉSOLUTION DES
Ce chapitre traite de la résolution des systèmes d’équations polynomiales et fait suite au chapitre 4 du tome Mathématiques L2, Pearson Education, 2007, qui introduisait certains algorithmes fondamentaux du calcul formel. Même si le champ des problématiques abordées par le calcul formel est bien plus vaste que la résolution des systèmes polynomiaux, cette dernière problématique occupe une place...
متن کاملA Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems
Boolean Equation Systems are a useful formalism for modeling various verification problems of finite-state concurrent systems, in particular the equivalence checking and the model checking problems. These problems can be solved on-the-fly (i.e., without constructing explicitly the state space of the system under analysis) by using a demand-driven construction and resolution of the corresponding...
متن کاملContributions à la résolution générique des problèmes de satisfaction de contraintes. (Contributions to Generic Solving of Constraint Satisfaction Problems)
Solver + AbstractSolver(problem : Problem) 1..n
متن کاملOptimisation d'un Schéma d'Instrumentation d'une Installation pour la Surveillance
Résumé. Une conception de capteurs optimisée et une stratégie de placement de capteurs seront extrêmement bénéfiques à la fois pour assurer la sécurité et la réduction des coûts structurels des systèmes. L'objectif de ce travail est d'établir un schéma d'instrumentation d'une installation permettant de détecter et de localiser les défaillances de composants définis dans un cahier des charges de...
متن کاملContributions à la recherche d'information dans des systèmes distribués, ouverts, intégrant des participants autonomes
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کامل